A REVIEW OF DR. WALTHER HORN'S “SYSTEMATISCHER INDEX DER CICINDELIDEN”

Genocide, Landscape, Beauty, Taboo: Reading Anselm Kiefer’s Der Morgenthau-Plan with Walther von der Vogelweide’s Lindenlied

Walther Recursion

Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...

Systematischer Test modellbasiert entwickelter Steuergeräte

In der Automobilindustrie ist der Trend zu erkennen, dass Fahrzeughersteller (OEMs) zunehmend Fahrzeugfunktionen modellbasiert entwickeln. In diesem Beitrag wird ein Testprozess modellbasiert entwickelter Steuergeräte vorgestellt, der prototypisch in einem aktuellen Projekt eingesetzt werden soll. Die Übertragung von Konzepten der agilen Softwareentwicklung auf den modellbasierten Entwicklungsp...

On index formulas for manifolds with metric horns

In this paper we discuss the index problem for geometric differential operators (Spin-Dirac operator, Gauß-Bonnet operator, Signature operator) on manifolds with metric horns. On singular manifolds these operators in general do not have unique closed extensions. But there always exist two extremal extensions Dmin and Dmax. We describe the quotient D(Dmax)/D(Dmin) explicitely in geometric resp. ...

Magnetic Resonance Imaging-Guided Prostate Biopsy: Institutional Analysis and Systematic Review Magnetresonanz gezielte Biopsie der Prostata: Institutionelle Analyse und systematischer Review

Ziel: Evaluierung der Detektionsrate von Prostatakarzinomen nach MR-gezielter Biopsie (MRGB); Beobachtung des Patientenkollektives mit einem negativen MRGB-Ergebnis, sowie ein Vergleich der Resultate mit der aktuellen Literatur. Material und Methoden: Insgesamt wurden 41 Patienten mit einer kombinierten MRTund MRGB, in die von der Ethikkommission geprüfte Studie eingeschlossen. Die MRGB wurde a...